nested quantifiers

visit shbcf.ru